Tree($E$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$rec($T$.tree\_con($E$;$T$))